Claude Kirchner: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

عام:

2007

اللغة:

english

ملف:

PDF, 3.45 MB

0 / 0

english, 2007

2

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 7.24 MB

0 / 0

english, 2010

3

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 3.57 MB

0 / 0

english, 1996

4

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)

عام:

1998

اللغة:

english

ملف:

PDF, 9.67 MB

0 / 0

english, 1998

5

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Springer-Verlag Berlin Heidelberg

Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 2.36 MB

0 / 0

english, 2009

6

Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)

عام:

1990

اللغة:

english

ملف:

DJVU, 4.04 MB

0 / 0

english, 1990

7

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 9.76 MB

0 / 5.0

english, 2010

8

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

عام:

2007

اللغة:

english

ملف:

PDF, 2.95 MB

0 / 0

english, 2007

9

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 7.34 MB

0 / 0

english, 2010

10

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)

عام:

1998

اللغة:

english

ملف:

DJVU, 7.65 MB

0 / 0

english, 1998

11

Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Springer Berlin Heidelberg

Claude Kirchner (eds.)

عام:

1993

اللغة:

english

ملف:

DJVU, 4.54 MB

0 / 0

english, 1993

12

Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud, Hubert Comon-Lundh, Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

عام:

2007

اللغة:

English

ملف:

PDF, 138.71 MB

0 / 0

English, 2007

13

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Algebraic and Logic Programming: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Ilies Alouini, Claude Kirchner (auth.), Michael Hanus, Mario Rodríguez-Artalejo (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 11.50 MB

0 / 0

english, 1996

14

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 8.87 MB

0 / 0

english, 2010

15

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 8.77 MB

0 / 0

english, 2010

16

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Springer-Verlag Berlin Heidelberg

Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 2.66 MB

0 / 0

english, 2009

17

Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.)

عام:

1990

اللغة:

english

ملف:

PDF, 7.41 MB

0 / 0

english, 1990

18

Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Rewriting Techniques and Applications: 5th International Conference, RTA-93 Montreal, Canada, June 16–18, 1993 Proceedings

Springer Berlin Heidelberg

Claude Kirchner (eds.)

عام:

1993

اللغة:

english

ملف:

PDF, 47.49 MB

0 / 0

english, 1993